#ifndef __PF_HANDLER_H
#define __PF_HANDLER_H
#include "stdint.h"
void PF_handler(uint8_t vec_nr);
uint32_t get_cr3(void);
uint32_t get_cr2(void);
#endif